Remove gtk_main_do_event from public API

diff --git a/gtk/gtkmain.h b/gtk/gtkmain.h
index 0009c4d90e405c380c952820ff83000978da5ecb..13402f2e2b54dabc8e950ad36e8d347d32b12eaf 100644 (file)
--- a/gtk/gtkmain.h
+++ b/gtk/gtkmain.h
@@ -112,8 +112,6 @@ GtkTextDirection gtk_get_locale_direction (void);
 GDK_AVAILABLE_IN_ALL
 gboolean       gtk_events_pending       (void);
 
-GDK_AVAILABLE_IN_ALL
-void       gtk_main_do_event       (GdkEvent           *event);
 GDK_AVAILABLE_IN_ALL
 void       gtk_main                (void);
 GDK_AVAILABLE_IN_ALL

diff --git a/gtk/gtkprivate.h b/gtk/gtkprivate.h
index 38dfe92a31ea5be615d8ad593432d24be3124237..b971f08c45dbe2e362c3acffac273d73eaf00498 100644 (file)
--- a/gtk/gtkprivate.h
+++ b/gtk/gtkprivate.h
@@ -93,6 +93,7 @@ gboolean _gtk_translate_keyboard_accel_state   (GdkKeymap       *keymap,
 gboolean         gtk_propagate_event_internal  (GtkWidget       *widget,
                                                 GdkEvent        *event,
                                                 GtkWidget       *topmost);
+void       gtk_main_do_event       (GdkEvent           *event);
 
 gdouble _gtk_get_slowdown (void);
 void    _gtk_set_slowdown (gdouble slowdown_factor);